Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·11h·
Discuss: Hacker News
🔗Functional Compilers
haskell/mtl
github.com·22h
🔗Functional Compilers
Graph-Augmented Hybrid Retrieval and Multi-Stage Re-ranking: A Framework for High-Fidelity Chunk Retrieval in RAG Systems
dev.to·9h·
Discuss: DEV
🎯Retrieval Systems
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Controlling program flow with capabilities in Scala
nrinaudo.github.io·13h·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Are Five Senses Holding Us Back? Scientists Say We Could Use Seven
scitechdaily.com·1d
🌐Archive Topology
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·5h·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🦀Rust Borrowing
From lab to lecture hall: The rise of software in academia
softwareheritage.org·2h
🔓Open Source Software
What is Algebraic about Algebraic Effects?
interjectedfuture.com·3d·
Discuss: Hacker News
✨Algebraic Effects
Learning languages with the help of algorithms
johndcook.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
My hovercraft is full of Rubies
dev.to·9h·
Discuss: DEV
🔗Concatenative Programming
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
Solving a Wooden Puzzle Using Haskell
glocq.github.io·1d·
Discuss: Lobsters, Hacker News
💎Information Crystallography
Authorizing access to data with RAG implementations
aws.amazon.com·9m
🔐Capability Systems
Supporting our AI overlords: Redesigning data systems to be Agent-first
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🗄️Database Internals
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🔗Functional Compilers
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·3d
🔗Topological Sorting